自动机
-
-
基于蚁群元胞自动机的地铁行人疏散模型
基于元胞自动机的行人和车辆疏散机理研究杜棋东+陈柔香+许爱军摘要：针对地铁站场结构复杂与疏散受行人主观条件影响等实际情况..
2018-05-04 12:11
-
-
一种Web服务组合一致性验证方法研究
语义Web服务及其合成方法的研究马薇薇 王进 姜家鑫摘要：为解决Web服务组合事务放松ACID属性后，原子性与一致性无法保证同时..
2017-11-06 13:55
-
-
一种实时系统时间约束验证方法研究
一种嵌入式控制系统方案的研究潘诚 王珊珊 王梓 司佳摘要：目前，能够对汽车电子领域中复杂嵌入式系统安全关键软件功能模和..
2017-11-05 15:45
热文榜单
最新快报